(shrunken)